An extension <i>E</i> of a field <i>F</i> for which every element of <i>E</i> is algebraic over <i>F</i>.